#include "svdpi.h"
class Count7 {
private:
    unsigned char cnt;
public:
    Count7();
    void count();
    void load(const svBitVecVal* i);
    void reset();
    int get();
    ~Count7();
};
